total ordering relation

全序关系